Making Formality Work For Us
نویسنده
چکیده
Formal reasoning is notoriously long and arduous; in order to use it to reason eeectively in the construction of programs it is, therefore, paramount that we design our notations to be both clear and economical. Taking examples from AI, from imperative programming, from the use of the Bird-Meertens formalism and from category theory we demonstrate how the right choice of what to denote and how it is denoted can make signiicant improvements to formal calculations. Brief mention is also made of the connection between economical notation and properties of type.
منابع مشابه
بررسی خوانایی، رسمیت و جذابیت رایج ترین قلم های فارسی مورد استفاده توسط دانشجویان در اسلایدهای پاورپوینت
Introduction: Lack of attention to the ergonomic measures and standards in making PowerPoint slides can result in visual fatigue, less attention to the content of the lecture and lower quality of training. This study aimed to identify the most popular Persian fonts and font sizes used by students in making PowerPoint slides and to investigate the students' subjective perception of the thre...
متن کاملFormality of the Constructible Derived Category for Spheres: a Combinatorial and a Geometric Approach
We describe the constructible derived category of sheaves on the n-sphere, stratified in a point and its complement, as a dg module category of a formal dg algebra. We prove formality by exploring two different methods: As a combinatorial approach, we reformulate the problem in terms of representations of quivers and prove formality for the 2-sphere, for coefficients in a principal ideal domain...
متن کاملOn the formality and the hard Lefschetz property for Donaldson symplectic manifolds
We introduce the concept of s–formal minimal model as an extension of formality. We prove that any orientable compact manifold M , of dimension 2n or (2n − 1), is formal if and only if M is (n− 1)–formal. The formality and the hard Lefschetz property are studied for the Donaldson symplectic manifolds constructed in [13]. This study permits us to show an example of a Donaldson symplectic manifol...
متن کاملFormality of Donaldson submanifolds
We introduce the concept of s–formal minimal model as an extension of formality. We prove that any orientable compact manifold M , of dimension 2n or (2n− 1), is formal if and only if M is (n− 1)–formal. The formality and the hard Lefschetz property are studied for the Donaldson submanifolds of symplectic manifolds constructed in [13]. This study permits us to show an example of a Donaldson sym...
متن کاملInducing Lexicons of Formality from Corpora
The spectrum of formality, in particular lexical formality, has been relatively unexplored compared to related work in sentiment lexicon induction (Turney and Littman, 2003). In this paper, we test in some detail several corpus-based methods for deriving real-valued formality lexicons, and evaluate our lexicons using relative formality judgments between word pairs. The results of our evaluation...
متن کامل